Tools to claim sequence is monotonic